Skip to main content

Scope Logic: Extending Hoare Logic for Pointer Program Verification

Item Preview

SIMILAR ITEMS (based on metadata)